Commits · master · Frédéric Bapst / Prolog-Truffle

30 Jan, 2020 5 commits
- Comment unit tests, update README · 6c635c91
  Martin Spoto authored Jan 30, 2020
  
  6c635c91
- transform to foreach loop · d7e9872a
  Martin Spoto authored Jan 30, 2020
  
  d7e9872a
- Merge branch 'report' into wip · 6f4d1cf4
  Martin Spoto authored Jan 30, 2020
  
  6f4d1cf4
- Write report and user manual · a10f6cab
  Martin Spoto authored Dec 08, 2019
```
Report progress 01

Report progress 02

Report progress 03

Report progress 04

Fix various spelling mistakes

Report progress 05

Report progress 06, phase 1 complete

Report progress 07, phase 2 complete

Report progress 08, phase 3 complete

Report progress 09

Report progress 10, everything but annexes

report progress 11, annexes, install manual

Finalize report
```
  a10f6cab
- Merge branch 'master' into wip · d11215d0
  Martin Spoto authored Jan 30, 2020
  
  d11215d0
02 Jan, 2020 1 commit
- Add comments to remaining classes · ee5c3677
  Martin Spoto authored Jan 02, 2020
  
  ee5c3677
30 Dec, 2019 1 commit
- More comments (up to ProloGraal.g4) · 43dd651d
  Martin Spoto authored Dec 30, 2019
  
  43dd651d
20 Dec, 2019 1 commit
- wip comments --> ProofTreeNode · e5803d68
  Martin Spoto authored Dec 20, 2019
  
  e5803d68
18 Dec, 2019 2 commits
- Fix reexecute of built-ins while redoing · cba9b86d
  Martin Spoto authored Dec 18, 2019
  
  cba9b86d
- Add PV10 · d32a9a45
  Martin Spoto authored Dec 18, 2019
  
  d32a9a45
17 Dec, 2019 3 commits
- Add builtins and support for redo. · 66cdf43f
  Martin Spoto authored Dec 17, 2019
  
  66cdf43f
- Unify formatting, add some comments · aabac752
  Martin Spoto authored Dec 17, 2019
  
  aabac752
- Redo bug fixes (with ugly workarounds) · 22799dc6
  Martin Spoto authored Dec 17, 2019
  
  22799dc6
16 Dec, 2019 1 commit
- Redo implementation (buggy) · 07ce4b10
  Martin Spoto authored Dec 16, 2019
  
  07ce4b10
14 Dec, 2019 1 commit
- Handle multiple goals input · f1951ce3
  Martin Spoto authored Dec 14, 2019
  
  f1951ce3
12 Dec, 2019 1 commit
- Add var and write builtins · cce8d7ff
  Martin Spoto authored Dec 12, 2019
  
  cce8d7ff
11 Dec, 2019 1 commit
- Add PV09 · 81e66e24
  Martin Spoto authored Dec 11, 2019
  
  81e66e24
10 Dec, 2019 1 commit
- Add more test cases for occurs check; Fix bug with occurs check · 848b93b4
  Martin Spoto authored Dec 10, 2019
  
  848b93b4
08 Dec, 2019 1 commit
- Working prototype for clauses · 9263c785
  Martin Spoto authored Dec 08, 2019
  
  9263c785
07 Dec, 2019 2 commits
- Fix logic of proof tree; fix output not properly getting root values in structures · fa171b86
  Martin Spoto authored Dec 07, 2019
  
  fa171b86
- Update pv08-04.12.md · de01717f
  Martin Spoto authored Dec 07, 2019
  
  de01717f
04 Dec, 2019 1 commit
- Add PV08 · f3ed938c
  Martin Spoto authored Dec 04, 2019
  
  f3ed938c
03 Dec, 2019 3 commits
- Fix occurence check · 6c74ca7b
  Martin Spoto authored Dec 03, 2019
  
  6c74ca7b
- Uncomment occurence test; print whole test if line differs · c9d53d9e
  Martin Spoto authored Dec 03, 2019
  
  c9d53d9e
- Add PV07 · 81869e0d
  Martin Spoto authored Dec 03, 2019
  
  81869e0d
02 Dec, 2019 1 commit
- Finished unit test for clauses; more verbose output for tests · e063833e
  Martin Spoto authored Dec 02, 2019
  
  e063833e
01 Dec, 2019 2 commits
- Improved unit test logic and fixed some of them · 19eabe0e
  Martin Spoto authored Dec 01, 2019
  
  19eabe0e
- Working for listConcat and test, but not for DlistConcat · 12d0f054
  Martin Spoto authored Dec 01, 2019
  
  12d0f054
28 Nov, 2019 1 commit
- make list display more beautiful with variables · 8e4922ee
  Martin Spoto authored Nov 28, 2019
  
  8e4922ee
27 Nov, 2019 1 commit
- Working for list concat · c4d74998
  Martin Spoto authored Nov 27, 2019
  
  c4d74998
26 Nov, 2019 3 commits
- Working for test predicate ? · 4a5f801d
  Martin Spoto authored Nov 26, 2019
  
  4a5f801d
- Add IntelliJ project files · e07e3880
  Martin Spoto authored Nov 26, 2019
  
  e07e3880
- Add PV06 · 3656acf1
  Martin Spoto authored Nov 26, 2019
  
  3656acf1
25 Nov, 2019 1 commit
- More tries to make proof tree work... · 25485c69
  Martin Spoto authored Nov 25, 2019
  
  25485c69
24 Nov, 2019 1 commit
- Still broken clauses impl · 6fe83e28
  Martin Spoto authored Nov 24, 2019
  
  6fe83e28
22 Nov, 2019 2 commits
- Very buggy but works for test(a,b). -> TODO keep track of variables modified · a3ca64e1
  Martin Spoto authored Nov 22, 2019
  
  a3ca64e1
- List unification · 584ccdfb
  Martin Spoto authored Nov 22, 2019
  
  584ccdfb
20 Nov, 2019 1 commit
- Handle list tail and internal list representation · f860d002
  Martin Spoto authored Nov 20, 2019
  
  f860d002
18 Nov, 2019 2 commits
- Implement parsing of lists and clauses (runtime broken tho) · 5e253d8b
  Martin Spoto authored Nov 18, 2019
  
  5e253d8b
- Parser rewrite wip · f6e28601
  Martin Spoto authored Nov 18, 2019
  
  f6e28601