Commits · 2022.11.03 · Boris Shminke / iprover

Browse files

Apr 11, 2023
- tags too · 4cce18d0
  Boris Shminke authored Apr 11, 2023
  
  View commits for tag 2022.11.03 2022.11.03
  
  4cce18d0
- more generic url · 8db28ec2
  Boris Shminke authored Apr 11, 2023
  
  8db28ec2
- change url · 78899d58
  Boris Shminke authored Apr 11, 2023
  
  78899d58
- release-artifacts · f860e1ba
  Boris Shminke authored Apr 11, 2023
  
  f860e1ba
- Update .gitlab-ci.yml file · 94e492fb
  Boris Shminke authored Apr 11, 2023
  
  94e492fb
- Update .gitlab-ci.yml file · dbbf9a6d
  Boris Shminke authored Apr 11, 2023
  
  dbbf9a6d
Nov 03, 2022
- merge · 3c94fb4f
  Konstantin Korovin authored Nov 03, 2022
  
  3c94fb4f
- tstpProof: revision 2.0 · 8b0e2e99
  Konstantin Korovin authored Nov 03, 2022
  
  8b0e2e99
- dbg off · c737c589
  Konstantin Korovin authored Nov 03, 2022
  
  c737c589
- empty_clause check fix · 322323f0
  Konstantin Korovin authored Nov 03, 2022
  
  322323f0
- empty_clause check fix · 791a7ead
  Konstantin Korovin authored Nov 03, 2022
  
  791a7ead
Nov 02, 2022
- sel_stats · 21ad21f9
  Konstantin Korovin authored Nov 02, 2022
  
  21ad21f9
- revision: tstpProof.ml: v1.1 · f0796a6a
  Konstantin Korovin authored Nov 02, 2022
  
  f0796a6a
- revision: tstpProof.ml: v1.1 · 78d3689a
  Konstantin Korovin authored Nov 02, 2022
  
  78d3689a
- revision: tstpProof.ml: v1.0 · 5a4f6ead
  Konstantin Korovin authored Nov 02, 2022
  
  5a4f6ead
- revision: tstpProof.ml: v0.1 · 52e3ab5c
  Konstantin Korovin authored Nov 02, 2022
  
  52e3ab5c
Nov 01, 2022
- src/lexer_fof.mll Htbl to Map · c8e8e2ca
  Konstantin Korovin authored Nov 01, 2022
  
  c8e8e2ca
- minor · 39ce8112
  Konstantin Korovin authored Nov 01, 2022
  
  39ce8112
- minor · 41ce6641
  Konstantin Korovin authored Nov 01, 2022
  
  41ce6641
- add: PUZ001-1.server_trace_given; PUZ001-1.server_trace_scores · a52ed044
  Konstantin Korovin authored Nov 01, 2022
  
  a52ed044
- Merge branch 'master' into 2022_sockets · 2bb10e42
  Konstantin Korovin authored Nov 01, 2022
  
  2bb10e42
- minor · 5d703645
  Konstantin Korovin authored Nov 01, 2022
  
  5d703645
- merge · 45336f84
  Konstantin Korovin authored Nov 01, 2022
  
  45336f84
- version update · 2946e170
  Konstantin Korovin authored Nov 01, 2022
  
  2946e170
- README.interactive · d488be0e
  Konstantin Korovin authored Nov 01, 2022
  
  d488be0e
- add: PUZ001-1.p · b20a4df7
  Konstantin Korovin authored Nov 01, 2022
  
  b20a4df7
- sockets: clean up · eb605de8
  Konstantin Korovin authored Nov 01, 2022
  
  eb605de8
- sockets: simplified_clauses · 1b21d0d3
  Konstantin Korovin authored Nov 01, 2022
  
  1b21d0d3
- sockets: fixes · ffdef00a
  Konstantin Korovin authored Nov 01, 2022
  
  ffdef00a
- sockets: fixes · 826689af
  Konstantin Korovin authored Nov 01, 2022
  
  826689af
- sockets.ml: fixes · ffba40e5
  Konstantin Korovin authored Nov 01, 2022
  
  ffba40e5
- sockets_server: updates · 09ac58d0
  Konstantin Korovin authored Nov 01, 2022
  
  09ac58d0
Oct 31, 2022
- sockets; superosition; support for external agent for given clauses:... · 9448a4fd
  Konstantin Korovin authored Oct 31, 2022
  9448a4fd
- sort clausees after parsing · 3cacb4c1
  Konstantin Korovin authored Oct 31, 2022
  
  3cacb4c1
- unsat core proofs via empty clause · 89eb22bc
  Konstantin Korovin authored Oct 31, 2022
  
  89eb22bc
- --proof_dot_file v1 · 7744aa06
  Konstantin Korovin authored Oct 31, 2022
  
  7744aa06
Oct 15, 2022
- minor output · 60b6c2f5
  Konstantin Korovin authored Oct 15, 2022
  
  60b6c2f5
- sockets: clauses with inference record; szs_status query · b44440a3
  Konstantin Korovin authored Oct 15, 2022
  
  b44440a3
Oct 09, 2022
- next · 0562cd00
  Konstantin Korovin authored Oct 09, 2022
  
  0562cd00
Oct 03, 2022
- superpotition; sockets; score batch clauses: clean-up · e4934a29
  Konstantin Korovin authored Oct 03, 2022
  
  e4934a29