Skip to content

Activity

fix test compilation issues

jcp19pushed 1 commit to joao-no-warnings • 0b1e2cc…7049839 • 
yesterday

fix compiler warnings

jcp19created joao-no-warnings • 0b1e2cc • 
6 days ago

Deleted branch

fix pretty printing of termination measures (#847)

Pull request merge
jcp19pushed 1 commit to master • dbb955d…9004d4c • 
6 days ago

fix pretty printing of termination measures

jcp19created joao-fix-pretty-printing-conditional-measures • 203ab1d • 
7 days ago

Merge branch 'master' into meilers_silicon_410_test

marcoeilerspushed 5 commits to meilers_silicon_410_test • 170ed85…fd85b80 • 
15 days ago

Test for Silicon issues 410 and the new example from 338

marcoeilerscreated meilers_silicon_410_test • 170ed85 • 
15 days ago

Deleted branch

marcoeilersdeleted meilers_carbon_fix_420 • 
16 days ago

Adding test for Carbon issue #420 (#845)

Pull request merge
marcoeilerspushed 1 commit to master • e41ab2b…dbb955d • 
16 days ago

Merge branch 'master' into meilers_carbon_fix_420

marcoeilerspushed 11 commits to meilers_carbon_fix_420 • 34fa6f7…a17c144 • 
16 days ago

Deleted branch

marcoeilersdeleted meilers_carbon_fix_355 • 
16 days ago

Test for Carbon issue 355 (#844)

Pull request merge
marcoeilerspushed 1 commit to master • 924804b…e41ab2b • 
16 days ago

Merge branch 'master' into meilers_carbon_fix_355

marcoeilerspushed 10 commits to meilers_carbon_fix_355 • 06abfe5…4b8d170 • 
17 days ago

Merge branch 'master' into meilers_raoul_counterexamples

marcoeilerspushed 51 commits to meilers_raoul_counterexamples • 1528fbe…c235125 • 
17 days ago

Deleted branch

marcoeilersdeleted meilers_fix_833_3 • 
22 days ago

Fixing #833 with NoCut (#842)

Pull request merge
marcoeilerspushed 1 commit to master • 75fe55c…924804b • 
22 days ago

Deleted branch

marcoeilersdeleted meilers_fix_833 • 
22 days ago

Deleted branch

marcoeilersdeleted meilers_fix_833_2 • 
22 days ago

Adding test

marcoeilerspushed 1 commit to meilers_fix_833_3 • 30b7f42…04f8a9a • 
22 days ago

Fixing #833 with cutless exp parsing

marcoeilerscreated meilers_fix_833_3 • 30b7f42 • 
22 days ago

Fixing #833 with special cutless exp parsing

marcoeilerscreated meilers_fix_833_2 • 23fe18a • 
22 days ago

Deleted branch

marcoeilersdeleted meilers_let_trigger_fixes • 
24 days ago

Fixing several issues with malformed triggers (#827)

Pull request merge
marcoeilerspushed 1 commit to master • cd64175…75fe55c • 
24 days ago

Merge branch 'master' into meilers_let_trigger_fixes

marcoeilerspushed 8 commits to meilers_let_trigger_fixes • 73188de…2d6265e • 
24 days ago

Deleted branch

marcoeilersdeleted meilers_fix_835 • 
24 days ago

Fixing type checking for predicate instance plugin (#835)

Pull request merge
marcoeilerspushed 1 commit to master • 9b2c33e…cd64175 • 
24 days ago

Merge branch 'master' into meilers_fix_833

marcoeilerspushed 6 commits to meilers_fix_833 • 44dc671…81feb88 • 
24 days ago

Merge branch 'master' into meilers_fix_835

marcoeilerspushed 6 commits to meilers_fix_835 • dfdb841…23161c7 • 
24 days ago

Deleted branch

marcoeilersdeleted meilers_silicon_894_test • 
24 days ago

Test for Silicon issue #894 (#839)

Pull request merge
marcoeilerspushed 1 commit to master • c757390…9b2c33e • 
24 days ago