Commits · f465281337021969cca8bea8ce9a35de7ad683f8 · Mihaela SIGHIREANU / dp4sl4malloc

19 Jun, 2021 21 commits
- aplas: related and more bib · f4652813
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  f4652813
- aplas: related and more bib · ed1f4619
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  ed1f4619
- section 5.2 · adfeda69
  ehilin02 authored Jun 19, 2021
  
  adfeda69
- aplas: refs to DRYAD and HIP · 8d34b17a
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  8d34b17a
- aplas: typos intro and exps · 442ffbfc
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  442ffbfc
- aplas: related work · d1e9d138
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  d1e9d138
- aplas: try to go to 18 pages · 46ae939e
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  46ae939e
- Merge branch 'master' of https://gitlab.math.univ-paris-diderot.fr/sighirea/dp4sl4malloc · f11bfafb
  ehilin02 authored Jun 19, 2021
  
  f11bfafb
- section 5.1 · d56b3247
  ehilin02 authored Jun 19, 2021
  
  d56b3247
- aplas: related work · af7290ec
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  af7290ec
- complexity · 62e8dadb
  ehilin02 authored Jun 19, 2021
  
  62e8dadb
- coNP upper bound · 758f2cc2
  ehilin02 authored Jun 19, 2021
  
  758f2cc2
- Merge branch 'master' of https://gitlab.math.univ-paris-diderot.fr/sighirea/dp4sl4malloc · 38655c8d
  ehilin02 authored Jun 19, 2021
  
  38655c8d
- coNP upper bound · 9646cea8
  ehilin02 authored Jun 19, 2021
  
  9646cea8
- aplas: abstract start changed · 1f8a4ce9
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  1f8a4ce9
- aplas: experiments size of problems · f60b6e53
  Mihaela SIGHIREANU authored Jun 19, 2021
  
  f60b6e53
- abs from appendix to main text · 5749735d
  ehilin02 authored Jun 19, 2021
  
  5749735d
- intro · f9e07fd5
  ehilin02 authored Jun 19, 2021
  
  f9e07fd5
- abstract · 261d2c0b
  ehilin02 authored Jun 19, 2021
  
  261d2c0b
- abstract · 288920d7
  ehilin02 authored Jun 19, 2021
  
  288920d7
- abstract · 339f888a
  ehilin02 authored Jun 19, 2021
  
  339f888a
18 Jun, 2021 4 commits
- aplas: anonymisation and chunk size 2 · e73a1218
  Mihaela SIGHIREANU authored Jun 18, 2021
  
  e73a1218
- aplas: fix typos from atva · 149444e4
  Mihaela SIGHIREANU authored Jun 18, 2021
  
  149444e4
- aplas: title · b3066f8e
  Mihaela SIGHIREANU authored Jun 18, 2021
  
  b3066f8e
- abstract aplas · 6aed700c
  Mihaela SIGHIREANU authored Jun 18, 2021
  
  6aed700c
15 Jun, 2021 3 commits
- change abstract, intro and overview using ATVA reviewers suggestions · 9dad2791
  Mihaela SIGHIREANU authored Jun 15, 2021
  
  9dad2791
- start of APLAS 2021 version · 51ef5a2d
  Mihaela SIGHIREANU authored Jun 15, 2021
  
  51ef5a2d
- some TODO · a2b73ebe
  Mihaela SIGHIREANU authored Jun 15, 2021
  
  a2b73ebe
27 Apr, 2021 6 commits
- entailment with one atom · 742a846a
  ehilin02 authored Apr 27, 2021
  
  742a846a
- satisfiability · b4741784
  ehilin02 authored Apr 27, 2021
  
  b4741784
- fix times in introduction · c402552c
  Mihaela SIGHIREANU authored Apr 27, 2021
  
  c402552c
- modified timeout to 1 min · e0b6c42c
  Mihaela SIGHIREANU authored Apr 27, 2021
  
  e0b6c42c
- entailment · 646d9c0e
  ehilin02 authored Apr 27, 2021
  
  646d9c0e
- details on experiments · fef23d9b
  Mihaela SIGHIREANU authored Apr 27, 2021
  
  fef23d9b
26 Apr, 2021 6 commits
- first submission · ab02ec2e
  Mihaela SIGHIREANU authored Apr 26, 2021
  
  ab02ec2e
- small fixes and tricks for references on 1 page · cfda8adf
  Mihaela SIGHIREANU authored Apr 26, 2021
  
  cfda8adf
- experiments · 2daa0354
  ehilin02 authored Apr 26, 2021
  
  2daa0354
- update conclusion; first reading of new proofs and appendices · 9347b1f5
  Mihaela SIGHIREANU authored Apr 26, 2021
  
  9347b1f5
- section 6 · dcd51d31
  ehilin02 authored Apr 26, 2021
  
  dcd51d31
- entailtment · e49d88f4
  ehilin02 authored Apr 26, 2021
  
  e49d88f4