Commits · main · Nonfiction Software / ManyWorlds

Browse files

Nov 16, 2025
- add examples · 20a0c876
  JoD authored Nov 16, 2025
  
  20a0c876
Mar 02, 2025
- stricter interpretation defaults · da54d4ad
  JoD authored Mar 02, 2025
  
  da54d4ad
- fix tests · 29b272ce
  JoD authored Mar 02, 2025
  
  29b272ce
Feb 25, 2025
- prevent future bugs · 0d8ec6e8
  JoD authored Feb 25, 2025
  
  0d8ec6e8
Feb 24, 2025
- Merge branch 'main' into ihtc · e892978d
  JoD authored Feb 25, 2025
  
  e892978d
- fix ihtc bug · 6799d63f
  JoD authored Feb 25, 2025
  
  6799d63f
- move to steady_clock · 2900c7d8
  JoD authored Feb 24, 2025
  
  2900c7d8
- update exact · 8bbe018a
  JoD authored Feb 24, 2025
  
  8bbe018a
- Get closer to compiling on macOS · b3f9f5ac
  JoD authored Feb 24, 2025
  
  b3f9f5ac
Feb 22, 2025
- more flexible json printing · 8a4d9316
  JoD authored Feb 22, 2025
  
  8a4d9316
- update exact · f92c6048
  JoD authored Feb 22, 2025
  
  f92c6048
- update exact · 28081d85
  JoD authored Feb 22, 2025
  
  28081d85
Feb 20, 2025
- keep trying to fix objective bugs... · 1af9a4ac
  JoD authored Feb 20, 2025
  
  1af9a4ac
Feb 18, 2025
- fixing bugs · f21ac015
  JoD authored Feb 18, 2025
  
  f21ac015
Feb 16, 2025
- fix objective bugs · 537ab656
  JoD authored Feb 16, 2025
  
  537ab656
Feb 14, 2025
- better error messages · 2e599db9
  JoD authored Feb 14, 2025
  
  2e599db9
Feb 12, 2025
- Allow a new type of decdef · ab2069bc
  JoD authored Feb 13, 2025
  
  ab2069bc
Feb 03, 2025
- add new option to suppress warnings · ce7a25eb
  JoD authored Feb 03, 2025
  
  ce7a25eb
Jan 28, 2025
- 2024 -> 2025 · 3b091f36
  JoD authored Jan 28, 2025
  
  3b091f36
- fix evaluation with known definitions · 2c19deea
  JoD authored Jan 28, 2025
  
  2c19deea
- add test · d371411a
  JoD authored Jan 28, 2025
  
  d371411a
Jan 27, 2025
- fix tests to new exact version · 47190e77
  JoD authored Jan 27, 2025
  
  47190e77
- fix arity mismatch error messages in enumeration definitions · 476cf17a
  JoD authored Jan 27, 2025
  
  476cf17a
- update exact · 4829eb4a
  JoD authored Jan 27, 2025
  
  4829eb4a
Dec 26, 2024
- update CMake Boost requirement to 1.82 · 760c7564
  JoD authored Dec 26, 2024
  
  760c7564
- update Exact · 584b485a
  JoD authored Dec 26, 2024
  
  584b485a
Sep 10, 2024
- add proper regression test · d59f53fe
  JoD authored Sep 10, 2024
  
  d59f53fe
- update exact · 01ed9d79
  JoD authored Sep 10, 2024
  
  01ed9d79
- Merge branch 'bugfix' into 'main' · 9e8d7ae4
  JoD authored Sep 10, 2024
  9e8d7ae4
- Bugfix · 039af5dd
  JoD authored Sep 10, 2024
  
  039af5dd
Sep 01, 2024
- Add ModRef paper · bf2a2ae4
  JoD authored Sep 01, 2024
  
  bf2a2ae4
- Update readme · 271eefcf
  JoD authored Sep 01, 2024
  
  271eefcf
Aug 16, 2024
- allow trailing comma in value tuples and tuple lists · d425ed1a
  JoD authored Aug 16, 2024
  
  d425ed1a
- Exact has moved to nonfiction-software · db7bef4d
  JoD authored Aug 16, 2024
  
  db7bef4d
- update exact · 10bcd225
  JoD authored Aug 16, 2024
  
  10bcd225
Jul 30, 2024
- Merge branch 'main' of gitlab.com:nonfiction-software/manyworlds · ebd5283d
  JoD authored Jul 30, 2024
  
  ebd5283d
- add ping and port choice to serve mode · da1b5c1a
  JoD authored Jul 30, 2024
  
  da1b5c1a
Jul 26, 2024
- add docker file for easy external compilation · a7d6ed0a
  JoD authored Jul 26, 2024
  
  a7d6ed0a
Jul 08, 2024
- updated MiniZinc timings · 11d91404
  JoD authored Jul 08, 2024
  
  11d91404
Jul 07, 2024
- add corrected MiniZinc formulation · 6cacd2c3
  JoD authored Jul 07, 2024
  
  6cacd2c3