Commits · master · Tommaso Petrucciani / setvariants

05 Oct, 2022 1 commit
- Add a LICENSE file. · cf6d6a85
  Kim Nguyễn authored Oct 05, 2022
  
  cf6d6a85
04 Oct, 2022 1 commit
- Port to dune and recent cduce. · c90601b4
  Kim Nguyễn authored Oct 04, 2022
  
  c90601b4
08 Jul, 2016 1 commit
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:petrucciani/setvariants · 3c66d557
  Beppe authored Jul 08, 2016
  
  3c66d557
30 Jun, 2016 1 commit
- Changes to syntax. · bcb79d5d
  Tommaso Petrucciani authored Jun 30, 2016
  
  bcb79d5d
23 Jun, 2016 4 commits
- Syntax. · 1127e7e9
  Tommaso Petrucciani authored Jun 23, 2016
  
  1127e7e9
- Updated syntax and examples: · 11a7c1e7
  Tommaso Petrucciani authored Jun 23, 2016
```
- added primitives
- changed `letrec` to `let rec`
- added `fun` pattern
```
  11a7c1e7
- Changed `letrec` to `let rec`. · 6a87542d
  Tommaso Petrucciani authored Jun 23, 2016
  
  6a87542d
- Added `fun` pattern matching all functions. · 399d8bb2
  Tommaso Petrucciani authored Jun 23, 2016
  
  399d8bb2
22 Jun, 2016 1 commit
- Refactoring of optimizations in constraint generations. · 15169384
  Tommaso Petrucciani authored Jun 22, 2016
  
  15169384
13 May, 2016 1 commit
- Fixes/workarounds for bugs in tallying. · 7c7aa2f0
  Tommaso Petrucciani authored May 13, 2016
  
  7c7aa2f0
11 May, 2016 4 commits
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:petrucciani/setvariants · 0e85f267
  Beppe authored May 11, 2016
  
  0e85f267
- more examples · 8ea9b318
  Beppe authored May 11, 2016
  
  8ea9b318
- Added commandline option to print constraints before callying tallying. · 102cc910
  Tommaso Petrucciani authored May 11, 2016
  
  102cc910
- new examples · 3d096afb
  Giuseppe Castagna authored May 11, 2016
  
  3d096afb
10 May, 2016 3 commits
- new examples · 745c6020
  Beppe authored May 10, 2016
  
  745c6020
- Corrections to HTML/CSS. · cebdf55a
  Tommaso Petrucciani authored May 10, 2016
  
  cebdf55a
- new examples · 4859aa30
  Giuseppe Castagna authored May 10, 2016
  
  4859aa30
09 May, 2016 1 commit
- added abbreviations · 4b802f1d
  Beppe authored May 09, 2016
  
  4b802f1d
06 May, 2016 7 commits
- Added (but not yet enabled, doesn't work properly) the abbreviation List('a). · 6f588f69
  Tommaso Petrucciani authored May 06, 2016
  
  6f588f69
- Filter out useless types from the solutions. · 04d3aadf
  Tommaso Petrucciani authored May 06, 2016
  
  04d3aadf
- Fix and optimization of constraint generation for application. · 4284f63b
  Tommaso Petrucciani authored May 06, 2016
  
  4284f63b
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:petrucciani/setvariants · 1ad9b580
  Tommaso Petrucciani authored May 06, 2016
  
  1ad9b580
- Refactoring. · 7ec160a6
  Tommaso Petrucciani authored May 06, 2016
  
  7ec160a6
- Some refactoring for optimizations. · dd31d7df
  Tommaso Petrucciani authored May 06, 2016
  
  dd31d7df
- Added empty any type · ea77c325
  Beppe authored May 06, 2016
  
  ea77c325
05 May, 2016 5 commits
- changed other examples · e9dfa992
  Beppe authored May 05, 2016
  
  e9dfa992
- Now index.html passes validation. · f4181404
  Tommaso Petrucciani authored May 05, 2016
  
  f4181404
- Optimization of constraint generation for variants and pairs. · fa953df4
  Tommaso Petrucciani authored May 05, 2016
  
  fa953df4
- The problem should be fixed. · 1b75a6ab
  Tommaso Petrucciani authored May 05, 2016
  
  1b75a6ab
- Something's gone wrong, trying to fix. · 755e6e2b
  Tommaso Petrucciani authored May 05, 2016
  
  755e6e2b
04 May, 2016 6 commits
- added examples · 77e8916c
  Beppe authored May 04, 2016
  
  77e8916c
- new looping examples · a67f7835
  Giuseppe Castagna authored May 04, 2016
  
  a67f7835
- pippo · f1049ef6
  Giuseppe Castagna authored May 04, 2016
  
  f1049ef6
- formmating examples · 56e300c8
  Giuseppe Castagna authored May 04, 2016
  
  56e300c8
- Added make install · 6b481eb6
  Giuseppe Castagna authored May 04, 2016
  
  6b481eb6
- Added type definition · c814bd86
  Giuseppe Castagna authored May 04, 2016
  
  c814bd86
03 May, 2016 1 commit
- added comments and fomratting · 6e7df5b3
  Giuseppe Castagna authored May 03, 2016
  
  6e7df5b3
02 May, 2016 3 commits
- Changed info on HTML page. · d786dfd3
  Tommaso Petrucciani authored May 02, 2016
  
  d786dfd3
- Added "p as x" syntax for " p & x", as in OCaml. · d9993d9e
  Tommaso Petrucciani authored May 02, 2016
  
  d9993d9e
- Added easy insertion of our examples. · 0e88c09a
  Tommaso Petrucciani authored May 02, 2016
  
  0e88c09a