Commits · 01e9cc6648c4664a20adabf0029b16cc8e719c69 · koizel / personoj

Dec 08, 2021
- touched encodings · 01e9cc66
  hondet authored 3 years ago
  
  01e9cc66
- Simpler encoding file · 68bd4ad7
  hondet authored 3 years ago
  
  68bd4ad7
- option to print pvs-cert terms · 7be97b0f
  hondet authored 3 years ago
  
  7be97b0f
- add dune project · de281f85
  Gabriel authored 3 years ago
  
  de281f85
- added pairs and projections to cert terms · 84e6264e
  hondet authored 3 years ago
  
  84e6264e
- wrapping body of quantifiers · d5f30c68
  hondet authored 3 years ago
  
  d5f30c68
- renamed module · 79f5c2b0
  Gabriel authored 3 years ago
  
  79f5c2b0
- uppercase variables · 9f128c6b
  Gabriel authored 3 years ago
  
  9f128c6b
- translating logical connectives · 0503c38d
  Gabriel authored 3 years ago
  
  0503c38d
- handle exception cannot translate · 17964953
  Gabriel authored 3 years ago
  
  17964953
- opam file · b985282b
  Gabriel authored 3 years ago
  
  b985282b
- testing · 3730e6dc
  Gabriel authored 3 years ago
  
  3730e6dc
- translation to tptp · 5baf8943
  hondet authored 3 years ago
  
  5baf8943
- formatting, tests · b4578418
  hondet authored 3 years ago
  
  b4578418
- documentation · 592765b1
  hondet authored 3 years ago
  
  592765b1
- Init · 971414ad
  hondet authored 3 years ago
  
  971414ad
Nov 26, 2021
- some notes, pair' constant · 7c729cb3
  hondet authored 3 years ago
  
  7c729cb3
- archive lp and lpos · 3fa48957
  hondet authored 3 years ago
  
  3fa48957
- cleaning equalities · 2486e601
  hondet authored 3 years ago
  
  2486e601
- new equality · 44bcb558
  hondet authored 3 years ago
  
  44bcb558
Nov 25, 2021
- dune makefile, pipeline directory · 551f8e76
  hondet authored 3 years ago
  
  551f8e76
- preserving order in chainprops · f654bb4e
  hondet authored 3 years ago
  
  f654bb4e
- no pvs qualification · 9c03c4c9
  hondet authored 3 years ago
  
  9c03c4c9
Nov 24, 2021
- Use ocaml setup, more opam · 278bed64
  hondet authored 3 years ago
  
  278bed64
- removing useless file · 91b62765
  hondet authored 3 years ago
  
  91b62765
- doc minor modif · 6a47bfdf
  hondet authored 3 years ago
  
  6a47bfdf
- added appaxiom program · b4991630
  hondet authored 3 years ago
  
  b4991630
- less dependencies for chainprops · af56c1a7
  hondet authored 3 years ago
  
  af56c1a7
- tests for dopth · 362d51c4
  hondet authored 3 years ago
  
  362d51c4
- ci for tools · 23372428
  gabrielhdt authored 3 years ago
  
  23372428
Nov 22, 2021
- implement chainprops as a filter · 10286699
  hondet authored 3 years ago
  
  10286699
- normalising files · eabf23c0
  hondet authored 3 years ago
  
  eabf23c0
- proposition chaining operational · d366d0e0
  hondet authored 3 years ago
  
  d366d0e0
- proposition chaining operational · 190d3134
  hondet authored 3 years ago
  
  190d3134
- parsing with angstrom exclusively · b371f1a0
  hondet authored 3 years ago
  
  b371f1a0
- renaming · 52cba94e
  hondet authored 3 years ago
  
  52cba94e
Nov 21, 2021
- administrative stuff · df396c25
  hondet authored 3 years ago
  
  df396c25
- more doc · 0ec38423
  hondet authored 3 years ago
  
  0ec38423
- added proposition chaining tool · 44a1a63e
  hondet authored 3 years ago
  
  44a1a63e
Nov 18, 2021
- install target, renaming · 1c681fa4
  hondet authored 3 years ago
  
  1c681fa4