index
:
saga-poc
master
Lars Wirzenius <liw@liw.fi>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Collapse
)
Author
Files
Lines
2019-05-19
Add: new build of PDF
HEAD
master
Lars Wirzenius
1
-0
/
+0
2019-05-19
Change: tweak wording for "remember" steps to be more natural
Lars Wirzenius
1
-3
/
+3
2019-05-17
Add: mention of prelude.py to README
Lars Wirzenius
1
-0
/
+3
2019-05-17
Change: more explanation to README
Lars Wirzenius
1
-0
/
+18
2019-05-17
Add: README
Lars Wirzenius
1
-0
/
+14
2019-05-17
Add: example proof-of-concept code generation
Lars Wirzenius
5
-0
/
+60
2019-05-10
Add: formatted version
Lars Wirzenius
1
-0
/
+0
2019-05-10
Add: note that GIVEN cleanups are always done, and in reverse order
Lars Wirzenius
2
-0
/
+3
2019-05-10
Add: note that the Saga compiler doesn't manage resources
Lars Wirzenius
1
-0
/
+4
2019-05-10
Change: first all ASSUMINGs, then all USINGs, then the rest
Lars Wirzenius
2
-0
/
+5
2019-05-10
Change: heading, subheadings, and end of scenario
Lars Wirzenius
2
-6
/
+10
2019-05-04
Fix: typo and word choice
Lars Wirzenius
1
-2
/
+2
2019-05-04
Fix: typos and spellos
Lars Wirzenius
1
-4
/
+4
2019-05-04
Add: placeholder chapter on Saga acceptance tests
Lars Wirzenius
1
-0
/
+4
2019-05-04
Change: abstract to mention architecture
Lars Wirzenius
1
-1
/
+2
2019-05-04
Fix: delete temporary file
Lars Wirzenius
2
-1
/
+1
2019-05-04
Change: updated PDF
Lars Wirzenius
1
-0
/
+0
2019-05-04
Fix: get date from git into document
Lars Wirzenius
4
-3
/
+5
2019-05-04
Add: script to get modification date for a file from git
Lars Wirzenius
1
-0
/
+6
2019-05-03
Change: write most of the first full draft of Saga doc
Lars Wirzenius
2
-6
/
+213
2019-05-03
Add: beginnings of Saga documentation
Lars Wirzenius
3
-2
/
+58
2019-04-29
Add: jt2 with binding, imlementation files
Lars Wirzenius
5
-1
/
+289
2019-04-29
Change: Makefile to have jt1
Lars Wirzenius
1
-1
/
+1
2019-04-29
Add: jt1 and pdfs
Lars Wirzenius
5
-0
/
+123
2019-04-29
Add: muck3 (changes to emphasis of regex matches)
Lars Wirzenius
2
-1
/
+107
2019-04-29
Add: muck1 and muck2 prototypes
Lars Wirzenius
4
-0
/
+1131