OpenGEODE

Settings | Report Duplicate

1

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 12 hours ago. based on code collected about 12 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Aug 21, 2024 — Aug 21, 2025 Showing page 48 of 90 Search / Filter on:
Incomplete, add statechart configuration file	Maxime Perrotin	More...				over 8 years ago
Generate aliased context in Ada backend	Maxime Perrotin	More...				over 8 years ago
Cleanup test-iterators	Maxime Perrotin	More...				over 8 years ago
Update auto-generated iterators	Maxime Perrotin	More...				over 8 years ago
[test-iterators] Don't delete working file	Maxime Perrotin	More...				over 8 years ago
Manual version of the model checker (work in progress)	Maxime Perrotin	More...				over 8 years ago
Update iterators	Maxime Perrotin	More...				over 8 years ago
In the PR file indent nicely the Text areas	Maxime Perrotin	More...				over 8 years ago
Merge https://github.com/esa/opengeode	Maxime Perrotin	More...				over 8 years ago
Update test-iterators	Maxime Perrotin	More...				over 8 years ago
Update test-iterators	Maxime Perrotin	More...				over 8 years ago
Condition on the state for exhausting transitions	Maxime Perrotin	More...				over 8 years ago
Update test-iterators	Maxime Perrotin	More...				over 8 years ago
test-iterator displays execution time	Maxime Perrotin	More...				over 8 years ago
Optimize test-iterators	Maxime Perrotin	More...				over 8 years ago
Merge https://github.com/esa/opengeode	Maxime Perrotin	More...				over 8 years ago
Merge https://github.com/esa/opengeode	Maxime Perrotin	More...				over 8 years ago
Simplify the SDL model of demo-iterators	Maxime Perrotin	More...				over 8 years ago
Increment test case	Maxime Perrotin	More...				over 8 years ago
Setup more elements for model checking	Maxime Perrotin	More...				over 8 years ago
Add data to the state graph	Maxime Perrotin	More...				over 8 years ago
Work on implementing an state graph	Maxime Perrotin	More...				over 8 years ago
Add hash function, prepare state graph	Maxime Perrotin	More...				over 8 years ago
Merge https://github.com/esa/opengeode	Maxime Perrotin	More...				over 8 years ago
Update readme	Maxime Perrotin	More...				over 8 years ago
Implement the first skeleton of the model checker in Ada	Maxime Perrotin	More...				over 8 years ago
Ada backend can import or export the internal state	Maxime Perrotin	More...				over 8 years ago
Declare exported procedures in the .ads	Maxime Perrotin	More...				over 8 years ago
Temporarily copy the iterators lib for testing	Maxime Perrotin	More...				over 8 years ago
Add test case with joint SDL/Property files	Maxime Perrotin	More...				over 8 years ago

←
1
2
…
44
45
46
47
48
49
50
51
52
…
89
90
→