Commits · df396c251d0519ab9b87cfaf8d5d068373e84a7e · koizel / personoj

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
Nov 17, 2021
- relocated dopth doc, doc for name-split · deb93573
  hondet authored 3 years ago
  
  deb93573
- dropping the subgoal marker of labels · e4bf4d02
  hondet authored 3 years ago
  
  e4bf4d02
- fixed path of string · d66aafa9
  hondet authored 3 years ago
  
  d66aafa9
- one makefile · 6d889f8e
  hondet authored 3 years ago
  
  6d889f8e
- one file per proposition · e3c3fde9
  hondet authored 3 years ago
  
  e3c3fde9
- formatting, error in dopth, doc formatting · b558d67d
  hondet authored 3 years ago
  
  b558d67d
- pipeline to generate proofs · 55b3f067
  hondet authored 3 years ago
  
  55b3f067
Nov 15, 2021
- using record jar format · fd041ca3
  hondet authored 3 years ago
  
  fd041ca3
Nov 08, 2021
- exporting sequents to dk · 9d65d0c6
  hondet authored 3 years ago
  
  9d65d0c6
Nov 01, 2021
- simpler dependencies specs for ci · bb02604d
  hondet authored 3 years ago
  
  bb02604d
- posix shell, no ksh needed · d336b2e8
  hondet authored 3 years ago
  
  d336b2e8
- simpler dependencies spec · 7efed11f
  hondet authored 3 years ago
  
  7efed11f
- better dummies generation · 9e62b1a8
  hondet authored 3 years ago
  
  9e62b1a8
Oct 24, 2021
- update docs · d022bfdb
  gabrielhdt authored 3 years ago
  
  d022bfdb
Oct 23, 2021
- documentation · 81146486
  gabrielhdt authored 3 years ago
  
  81146486
Oct 20, 2021
- One file per formula, better rule resolution · 23b59c69
  hondet authored 3 years ago
  
  23b59c69
- fixing loaders · 8f6d115c
  hondet authored 3 years ago
  
  8f6d115c
Oct 19, 2021
- fix checkout · 9b901f67
  hondet authored 3 years ago
  
  9b901f67
- fixed checkout action · 5a998348
  hondet authored 3 years ago
  
  5a998348
- continued documentation up to translation · ef9fbf2c
  hondet authored 3 years ago
  
  ef9fbf2c
- Merge branch 'restructure' · 0d86bfa2
  hondet authored 3 years ago
  
  0d86bfa2
- relocate encoding tests · f26e8597
  hondet authored 3 years ago
  
  f26e8597
- use functions rather than macros · f71b8c7e
  hondet authored 3 years ago
  
  f71b8c7e
- fixed recipe · cdb25bc2
  Gabriel authored 3 years ago
  
  cdb25bc2
Oct 18, 2021
- fewer makefiles · 4a6dcc8a
  Gabriel authored 3 years ago
  
  4a6dcc8a
- restructuration · 7971e57e
  Gabriel authored 3 years ago
  
  7971e57e
- command to load PVS into lisp · aeb03dc2
  Gabriel authored 3 years ago
  
  aeb03dc2
- more examples · 3690c4f8
  Gabriel authored 3 years ago
  
  3690c4f8
- print final proofstate · c8aa3a76
  Gabriel authored 3 years ago
  
  c8aa3a76
- printing derivation as tptp · 4efdc47f
  Gabriel authored 3 years ago
  
  4efdc47f
Oct 15, 2021
- add example proof · dc26b124
  Gabriel authored 3 years ago
  
  dc26b124
- proof translation · a3a528d2
  Gabriel authored 3 years ago
  
  a3a528d2
- creating debian meta package for deps · 76dc6bcf
  Gabriel authored 3 years ago
  
  76dc6bcf
- pvs build script · 75027660
  Gabriel authored 3 years ago
  
  75027660
Oct 14, 2021
- use PVSPATH from env variables · 9f346173
  hondet authored 3 years ago
  
  9f346173
- use pvs singleton? · 17d870ab
  hondet authored 3 years ago
  
  17d870ab