Commits · main · Hague Matthew UXAC009 / symparikh · GitLab

Snippets Groups Projects

Jun 05, 2024
- tweak(sym_parikh): make predicates before negation the default · 6eae0c08
  Hague Matthew UXAC009 authored 10 months ago
  6eae0c08
- bug(sym_parikh): filter predicates when not coming from file · f1b78ac2
  Hague Matthew UXAC009 authored 10 months ago
  f1b78ac2
- add(sym_parikh): make inferring predicates before negation optional · ded0454c
  Hague Matthew UXAC009 authored 10 months ago
  ded0454c
Jun 03, 2024
- add(sym_parikh): improve predicate detection to fix Norn bug · c186cca3
  Hague Matthew UXAC009 authored 10 months ago
  c186cca3
May 27, 2024
- bug(sym_parikh): add test case for bad Norn case · f78042c9
  Hague Matthew UXAC009 authored 10 months ago
  f78042c9
- add(cli): document --get-model flag · 6a2892e9
  Hague Matthew UXAC009 authored 10 months ago
  
  6a2892e9
- bug(automaton): include algorithm for std::find · d34198fd
  Hague Matthew UXAC009 authored 10 months ago
  
  d34198fd
Feb 09, 2024
- add(results): add rerun experiments · 687c603a
  Hague Matthew UXAC009 authored 1 year ago
  
  687c603a
- bug(results): fix bugs in results compilation and graph output · fea75476
  Hague Matthew UXAC009 authored 1 year ago
  fea75476
Feb 08, 2024
- tweak(parikh_image): slightly tighten fixed optimisation · 6f858833
  Hague Matthew UXAC009 authored 1 year ago
  
  6f858833
- bug(parikh_image): repair overrestrictive optimisation · fbcc3817
  Hague Matthew UXAC009 authored 1 year ago
  fbcc3817
Nov 14, 2023
- Some minor improvements to artifact README · c1a7079b
  Hague Matthew UXAC009 authored 1 year ago
  
  c1a7079b
Nov 11, 2023
- Correct errors found by POPL AE revierers · cd4dc2bd
  Hague Matthew UXAC009 authored 1 year ago
  
  cd4dc2bd
Oct 09, 2023
- init(repo): first release commit · ad0eae1c
  Hague Matthew UXAC009 authored 1 year ago
  
  ad0eae1c

GitLab by CIM Team | RHUL