Commits · b29cee4ff097f606981b7b92d09be83d98047526 · koizel / personoj

Dec 12, 2021

hondet authored 3 years ago

Lock file not used in ci because it conflicts with the compiler matrix

b29cee4f

One binary only · c4950352

hondet authored 3 years ago

appaxiom, autosolve, dopth and chainprops are accessed by
psnj CMD instead of a binary psnj-CMD

c4950352

Dec 08, 2021
- Filter to add proof scripts · e924e9a3
  hondet authored 3 years ago
  
  e924e9a3
- do not check for formatting · a605666d
  hondet authored 3 years ago
  
  a605666d
- Tests for pipeline · 6a51e942
  hondet authored 3 years ago
  
  6a51e942
- formatting · 8fdc350b
  hondet authored 3 years ago
  
  8fdc350b
- Fix tests, run test in ci · c71618cf
  hondet authored 3 years ago
  
  c71618cf
Nov 26, 2021
- archive lp and lpos · 3fa48957
  hondet authored 3 years ago
  
  3fa48957
Nov 24, 2021
- Use ocaml setup, more opam · 278bed64
  hondet authored 3 years ago
  
  278bed64
- tests for dopth · 362d51c4
  hondet authored 3 years ago
  
  362d51c4
- ci for tools · 23372428
  gabrielhdt authored 3 years ago
  
  23372428
Nov 01, 2021
- posix shell, no ksh needed · d336b2e8
  hondet authored 3 years ago
  
  d336b2e8
- better dummies generation · 9e62b1a8
  hondet authored 3 years ago
  
  9e62b1a8
Oct 19, 2021
- fix checkout · 9b901f67
  hondet authored 3 years ago
  
  9b901f67
- fixed checkout action · 5a998348
  hondet authored 3 years ago
  
  5a998348
- relocate encoding tests · f26e8597
  hondet authored 3 years ago
  
  f26e8597
- fixed recipe · cdb25bc2
  Gabriel authored 3 years ago
  
  cdb25bc2
Oct 18, 2021
- restructuration · 7971e57e
  Gabriel authored 3 years ago
  
  7971e57e
Oct 10, 2021
- directory renaming · b29d4e44
  Gabriel authored 3 years ago
  
  b29d4e44
- comment big theories · d26bdfda
  Gabriel authored 3 years ago
  
  d26bdfda
- loading pvs · f8d67e62
  Gabriel authored 3 years ago
  
  f8d67e62
- set pvs path · faa08002
  Gabriel authored 3 years ago
  
  faa08002
- set switch · e5142a53
  Gabriel authored 3 years ago
  
  e5142a53
- no theories patch · 97de8dc3
  Gabriel authored 3 years ago
  
  97de8dc3
Oct 09, 2021
- test ci · 9c1e23d2
  Gabriel authored 3 years ago
  
  9c1e23d2
- fix workflow · 39046a7f
  Gabriel authored 3 years ago
  
  39046a7f
Aug 31, 2021
- update lambdapi · 10c65e4f
  hondet authored 3 years ago
  
  10c65e4f
Aug 30, 2021
- update lambdapi for ci · 905cd695
  Gabriel authored 3 years ago
  
  905cd695
Jul 15, 2021
- install encoding for tests · eceab6c5
  hondet authored 3 years ago
  
  eceab6c5
- yes yes yes · 670a44ac
  hondet authored 3 years ago
  
  670a44ac
- my lambdapi · f25b17b6
  hondet authored 3 years ago
  
  f25b17b6
- update ci · 4455c851
  hondet authored 3 years ago
  
  4455c851
Feb 09, 2021
- Updated to new lambdapi · 136041e3
  hondet authored 4 years ago
  
  136041e3
Feb 07, 2021
- Fixing ci · 6b7df67e
  hondet authored 4 years ago
  
  6b7df67e
- Updating ci · 5ad544d9
  hondet authored 4 years ago
  
  5ad544d9
- Switching to latest lambdapi syntax · 9807710c
  hondet authored 4 years ago
  
  9807710c
Apr 22, 2020
- check prelude · f86cb27b
  gabrielhdt authored 4 years ago
  
  f86cb27b
Apr 21, 2020
- check encoding and paper · aebced2b
  gabrielhdt authored 4 years ago
  
  aebced2b
Apr 20, 2020
- setting ci · 1421ca90
  gabrielhdt authored 4 years ago
  
  1421ca90
- try ci · 36df1a21
  Gabriel Hondet authored 4 years ago
  
  36df1a21