Commits · 4.1.19 · paradise / mirror / DIVINE · GitLab

Dec 02, 2018
- releng: Update for 4.1.19 · 124745f5
  Release Bot authored Dec 02, 2018
  
  4.1.19
  
  124745f5
Dec 01, 2018
- dios: Check fairness constraints within the FairScheduler itself. · cfee575a
  Petr Rockai authored Dec 01, 2018
  
  cfee575a
- CC: Unmark Driver's getLib method as protected. · 40510ae0
  Zuzana Baranová authored Dec 01, 2018
  
  40510ae0
- dios: Move trace.cpp into libc. · 5e17f1b1
  Zuzana Baranová authored Dec 01, 2018
  
  5e17f1b1
- dios: Add divine.link.always annotation to __dios_{reschedule,suspend}. · 95315482
  Zuzana Baranová authored Dec 01, 2018
  
  95315482
- dios: Remove the fairness hack in __dios_{reschedule,suspend}. · 04b02e92
  Zuzana Baranová authored Dec 01, 2018
  
  04b02e92
- dios: Move __dios_reschedule() and __dios_suspend() into libc. · fd1bdb3b
  Zuzana Baranová authored Dec 01, 2018
  
  fd1bdb3b
- VM: The program counter also needs to be saved/restored for dbg.call. · 33cb25d0
  Petr Rockai authored Dec 01, 2018
  
  33cb25d0
Nov 21, 2018
- LTL: Add a formula simplifier (rewrite engine). · 0b03cf45
  Tadeas Kucera authored Nov 21, 2018
  
  0b03cf45
- LTL: Minor code readability improvements. · bfb7c5ac
  Tadeas Kucera authored Nov 21, 2018
  
  bfb7c5ac
- dios: Simplify the TGBA degeneralizer a bit. · e6151a74
  Tadeas Kucera authored Nov 21, 2018
  
  e6151a74
Oct 10, 2018
- LTL: Clean up the HOA parser. · 23e50426
  Tadeas Kucera authored Oct 10, 2018
  
  23e50426
- LTL: Silence a couple of unused variable warnings. · 48cab43c
  Tadeas Kucera authored Oct 10, 2018
  
  48cab43c
Nov 29, 2018
- LTL: A few coding style fixes. · b71e9437
  Tadeas Kucera authored Nov 29, 2018
  
  b71e9437
Oct 25, 2018
- UI: Fix coding style in ltlc.cpp. · 731a9318
  Tadeas Kucera authored Oct 25, 2018
  
  731a9318
Oct 10, 2018
- LTL: Clean up comments. · 18d9fc3c
  Tadeas Kucera authored Oct 10, 2018
  
  18d9fc3c
- LTL: Remove debug print statements. · cccc1104
  Tadeas Kucera authored Oct 10, 2018
  
  cccc1104
- LTL: State no longer needs the 'old' attribute. · 5c25230e
  Tadeas Kucera authored Oct 10, 2018
  
  5c25230e
- LTL: A less strict comparator is needed for twin node detection. · 5275364d
  Tadeas Kucera authored Oct 10, 2018
  
  5275364d
Aug 23, 2018
- UI: Allow a TGBA to be directly specified using ltlc --automaton. · 1d2849ee
  Tadeas Kucera authored Aug 23, 2018
  
  1d2849ee
- LTL: Finish the HOA parser. · 68a0181c
  Tadeas Kucera authored Aug 23, 2018
  
  68a0181c
Nov 29, 2018
- LTL: Allow TGBA1 to be constructed from a TGBA2. · 222261e4
  Tadeas Kucera authored Nov 29, 2018
  
  222261e4
- LTL: Add a preliminary HOA format parser. · d138634e
  Tadeas Kucera authored Nov 29, 2018
  
  d138634e
Aug 21, 2018
- LTL: Prepare ground for a HOA parser. · b1c80503
  Tadeas Kucera authored Aug 21, 2018
  
  b1c80503
Nov 29, 2018
- UI: A couple copyright fixes. · a90b9e51
  Tadeas Kucera authored Nov 29, 2018
  
  a90b9e51
- dios: Fix the copyright header for util/degeneralizer.hpp. · 093d62ef
  Tadeas Kucera authored Nov 29, 2018
  
  093d62ef
Aug 28, 2018
- LTL: Fix copyright headers. · 8069f5f0
  Tadeas Kucera authored Aug 28, 2018
  
  8069f5f0
Aug 07, 2018
- LTL: Fix a few coding style issues. · caed18b1
  Tadeas Kucera authored Aug 07, 2018
  
  caed18b1
Jul 09, 2018
- LTL: Add a few tests for struct Node. · 1478d6b9
  Tadeas Kucera authored Jul 09, 2018
  
  1478d6b9
Jul 03, 2018
- LTL: Remove unused function. · ddf5ac42
  Tadeas Kucera authored Jul 03, 2018
  
  ddf5ac42
- LTL: Add tests for LTL type detection. · 06e51e3b
  Tadeas Kucera authored Jul 03, 2018
  
  06e51e3b
Nov 27, 2018
- test: Ignore fails of allocation in mstring tests. · aac5ac95
  Henrich Lauko authored Nov 27, 2018
  
  aac5ac95
- lart: Detect lifting of concrete strings into mstring domain. · 215d63ad
  Henrich Lauko authored Nov 27, 2018
  
  215d63ad
- rst: Introduce undefined mstring value constructor. · c016e002
  Henrich Lauko authored Nov 27, 2018
  
  c016e002
- rst: Introduce abstract strcmp placeholder. · 5636b142
  Henrich Lauko authored Nov 27, 2018
  
  5636b142
- rst: Rework mstring segmentation. · 7e8ec922
  Henrich Lauko authored Nov 27, 2018
  
  7e8ec922
Nov 22, 2018
- test: Add tests on mstring strcmp. · a716417b
  Henrich Lauko authored Nov 22, 2018
  
  a716417b
Nov 27, 2018
- sim: Enable autosuspend when performing a 'call' command. · 072ecc9a
  Petr Rockai authored Nov 27, 2018
  
  072ecc9a
- MC: Make 'divine exec' stop when it hits an error. · 314101c1
  Petr Rockai authored Nov 27, 2018
  
  314101c1
- VM: Get rid of the ControlRegister union since we no longer use it. · d563be23
  Petr Rockai authored Nov 27, 2018
  
  d563be23