Activity · skeletons / Abstract Interpreter Generator · GitLab

Mentions légales du service

Snippets Groups Projects

GitLab upgrade completed. Current version is 17.11.3.

Exceptional GitLab maintenance is scheduled for June 19, 2025. The service will be unavailable between 12am and 2pm. Please do not work on the platform until an announcement indicates that maintenance is complete.

1 year ago

Vincent Rébiscoul @x-VRebis

pushed to branch working at skeletons / Abstract Interpreter Generator

0f4dc2b3 · update expected results

1 year ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

fc8e9ac1 · corrected to match new lambda.sk
... and 6 more commits. Compare 3af16414...fc8e9ac1

1 year ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

3af16414 · working on better implem
... and 2 more commits. Compare f60582bb...3af16414

1 year ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

f60582bb · minor changes of presentation

1 year ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

912499b1 · changed name from state to store for While

1 year ago

REBISCOUL Vincent @vrebisco

deleted branch implem at skeletons / Abstract Interpreter Generator

1 year ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

fbfa23b4 · refactor + remove unused code
... and 3 more commits. Compare f8401940...fbfa23b4

1 year ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

f8401940 · refactored code

2 years ago

Victoire Noizet @lnoizet

pushed to branch dev at skeletons / Abstract Interpreter Generator

fa3d838e · Get it closer to working

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch dev at skeletons / Abstract Interpreter Generator

988baddf · temporary commit
... and 13 more commits. Compare 5a639224...988baddf

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

a8071e57 · re-indentation and better comments/names
... and 1 more commit. Compare 2a7c48cf...a8071e57

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

2a7c48cf · final? integration of state monad

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch dev at skeletons / Abstract Interpreter Generator

5a639224 · trying to use a more modern necro version WIP

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

6241724a · removed unused tests

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

f222f862 · better integration of state monad for lcalc
... and 3 more commits. Compare bb5a3eb4...f222f862

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

bb5a3eb4 · updated while for new version of taiga
... and 1 more commit. Compare ee6abaf1...bb5a3eb4

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch working at skeletons / Abstract Interpreter Generator

ee6abaf1 · fixed README

2 years ago

REBISCOUL Vincent @vrebisco

pushed new branch working at skeletons / Abstract Interpreter Generator

2 years ago

REBISCOUL Vincent @vrebisco

pushed new branch dev at skeletons / Abstract Interpreter Generator

2 years ago

REBISCOUL Vincent @vrebisco

pushed to branch implem at skeletons / Abstract Interpreter Generator

f50ecd86 · better monad integration
... and 1 more commit. Compare c2f4034f...f50ecd86