Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity
84 Commits 2 Branches 0 Tags 491 KiB
OCaml 91.6%
TeX 6.3%
Standard ML 2%
Makefile 0.1%
21414e6461
Go to file
Benjamin Loison 21414e6461 Make last equation of a node potentially not ending with a semi column 
Otherwise the following code:

```
-- count the number of top between two tick
node counting (tick:bool; top:bool)
returns (o: bool);
	var v: int;
	let o = if tick then v else 0 -> pre o + v;
		v = if top then 1 else 0
	tel;
```

was involving the following error:

```
Syntax error at <line 1: -- count the number of top between two tick >
```
2022-12-16 05:54:41 +01:00
beamer [beamer] slide 7 2022-12-15 16:17:47 +01:00
src Make last equation of a node potentially not ending with a semi column 2022-12-16 05:54:41 +01:00
.gitignore [passes] fix for the equation ordering pass 2022-12-15 17:40:15 +01:00
Makefile [parser] parses and dumps content (without expressions) 2022-12-07 16:45:55 +01:00
README.md README 2022-12-04 16:19:25 +01:00
TODO [parser] adding support for expressions 2022-12-07 21:56:38 +01:00

README.md