Commits · master · Markus Klinik / program-analysis

20 Aug, 2020 1 commit
- port to Clean clean-bundle-complete-2019-05-07 · a23ad6d1
  Markus Klinik authored Aug 20, 2020
  
  a23ad6d1
22 Jul, 2020 2 commits
- revise README · 7aa0590b
  Markus Klinik authored Jul 22, 2020
  
  7aa0590b
- revise README · 5703f7c7
  Markus Klinik authored Jul 22, 2020
  
  5703f7c7
20 Jul, 2020 1 commit
- test programs · 1f2be027
  Markus Klinik authored Oct 11, 2017 and Markus Klinik committed Jul 20, 2020
  
  1f2be027
26 Feb, 2018 1 commit
- Add license · 87ec51b6
  Markus Klinik authored Feb 26, 2018
  
  87ec51b6
19 Sep, 2017 10 commits
- use Data.Func · a780785f
  Markus Klinik authored Sep 19, 2017
  
  a780785f
- use TestFramework instead of Spec · ef8c3133
  Markus Klinik authored Sep 19, 2017
  
  ef8c3133
- move TestFramework to test · 057f609c
  Markus Klinik authored Sep 19, 2017
  
  057f609c
- add submodule TestFramework · 3270d82c
  Markus Klinik authored Sep 19, 2017
  
  3270d82c
- rename keyword fun -> fix · a2dbb972
  Markus Klinik authored Sep 19, 2017
  
  a2dbb972
- fix formatting · b9e7c4f4
  Markus Klinik authored Sep 19, 2017
  
  b9e7c4f4
- rename return -> use in syntax · 7bfc327f
  Markus Klinik authored Sep 19, 2017
  
  7bfc327f
- remove dead code · 100c4c4b
  Markus Klinik authored Sep 19, 2017
  
  100c4c4b
- interpreter: parallel · 8568f3c0
  Markus Klinik authored Sep 19, 2017
  
  8568f3c0
- evalTask wip · bf88b582
  Markus Klinik authored Sep 19, 2017
  
  bf88b582
18 Sep, 2017 5 commits
- new syntax for basic tasks · c9996d35
  Markus Klinik authored Sep 18, 2017
```
return is not a function, but an expression
```
  c9996d35
- more test programs · 6e8c9e57
  Markus Klinik authored Sep 18, 2017
  
  6e8c9e57
- interpreter: support tasks · 0b1ff407
  Markus Klinik authored Sep 18, 2017
  
  0b1ff407
- newline in error message · f8d9925b
  Markus Klinik authored Sep 18, 2017
  
  f8d9925b
- parser must consume all input · f232123e
  Markus Klinik authored Sep 18, 2017
  
  f232123e
11 Apr, 2017 2 commits
- move tests to subdirectory · 905c8e42
  Markus Klinik authored Apr 11, 2017
  
  905c8e42
- some test programs · 8c6e98a3
  Markus Klinik authored Apr 04, 2017
  
  8c6e98a3
05 Apr, 2017 3 commits
- comment · 6ed14518
  Markus Klinik authored Apr 05, 2017
  
  6ed14518
- rename Environment -> RuntimeEnvironment · ecd25615
  Markus Klinik authored Apr 05, 2017
  
  ecd25615
- clean up imports · 04a77ae8
  Markus Klinik authored Apr 05, 2017
```
fixes name clashes of iTasks and Control.Monad
```
  04a77ae8
04 Apr, 2017 2 commits
- test.prj: Dynamics: True · efcaaf5c
  Markus Klinik authored Apr 04, 2017
  
  efcaaf5c
- port to current clean nightly · d43d356c
  Markus Klinik authored Mar 31, 2017
  
  d43d356c
24 Oct, 2016 1 commit
- slightly alter pretty print margins · 2ab2519d
  Markus Klinik authored Oct 24, 2016
  
  2ab2519d
29 Sep, 2016 4 commits
- README · dddb71d6
  Markus Klinik authored Sep 29, 2016
  
  dddb71d6
- Add new file · 8d07cf34
  Markus Klinik authored Sep 29, 2016
  
  8d07cf34
- delete readme · bfe483a3
  Markus Klinik authored Sep 29, 2016
  
  bfe483a3
- add README · e9d66f34
  Markus Klinik authored Sep 29, 2016
  
  e9d66f34
20 Jul, 2016 1 commit
- a very nasty example indeed · baf51005
  Markus Klinik authored Jul 20, 2016
  
  baf51005
19 Jul, 2016 5 commits
- app rule: apply substitution to type · 230cea93
  Markus Klinik authored Jul 19, 2016
  
  230cea93
- implement use-site subtyping · f530c52d
  Markus Klinik authored Jul 19, 2016
  
  f530c52d
- testcase for poisoning in the absence of subtyping · 4a330fd2
  Markus Klinik authored Jul 19, 2016
  
  4a330fd2
- testcase · 5030692c
  Markus Klinik authored Jul 19, 2016
  
  5030692c
- simplify worklist iteration · c5539c20
  Markus Klinik authored Jul 19, 2016
  
  c5539c20
15 Jul, 2016 2 commits
- testcases for unmentioned let-bound stuff · aec3bc1a
  Markus Klinik authored Jul 15, 2016
  
  aec3bc1a
- comment testcase · 885e1ac1
  Markus Klinik authored Jul 15, 2016
  
  885e1ac1