Commits · b3bb0f3c8db3e3409275041a2b491bc4026d60be · pub / caisar

Dec 18, 2020
- Update opam file. · b3bb0f3c
  Michele Alberti authored 4 years ago
  
  b3bb0f3c
- Specify ocaml version in dune-project. · 1cc88729
  Michele Alberti authored 4 years ago
  
  1cc88729
- Add opam support. · 9c06612d
  Michele Alberti authored 4 years ago
  
  9c06612d
- Use 'command -v' to save complete path to executable in configuration file. · 780276df
  Michele Alberti authored 4 years ago
  
  780276df
- Rework command detect (remove force option). · 24e2fff0
  Michele Alberti authored 4 years ago
  
  24e2fff0
- Some improvements. · 8056789a
  Michele Alberti authored 4 years ago
  
  8056789a
Dec 17, 2020
- Add first support for detection of solvers. Also rework verify command semantics. · 003e35a0
  Michele Alberti authored 4 years ago
  
  003e35a0
Dec 16, 2020
- Rework availability check. · 5d109117
  Michele Alberti authored 4 years ago
  
  5d109117
- Add support for pyrat. · bda66ac7
  Michele Alberti authored 4 years ago
  
  bda66ac7
- Some misc improvements. · 5621ba5e
  Michele Alberti authored 4 years ago
  
  5621ba5e
Nov 28, 2020
- Fix some typos. · d55ef7ba
  Michele Alberti authored 4 years ago
  
  d55ef7ba
Nov 27, 2020
- Remove no more needed code. · 3b592461
  Michele Alberti authored 4 years ago
  
  3b592461
- Add support for additional raw options to pass to the solver as is. · 59b8dc77
  Michele Alberti authored 4 years ago
  
  59b8dc77
Nov 16, 2020
- Add better logging. · 429303bd
  Michele Alberti authored 4 years ago
  
  429303bd
Nov 03, 2020
- Renaming. · 4b55af4f
  Michele Alberti authored 4 years ago
  
  4b55af4f
- A first work-ish version. · 0598df15
  Michele Alberti authored 4 years ago
  
  0598df15
Oct 01, 2020
- A tentative first empty schema. · e0bf308d
  Michele Alberti authored 4 years ago
  
  e0bf308d
- Initial commit · 1f3400ef
  Michele Alberti authored 4 years ago
  
  1f3400ef